Proof-theoretic notions for software maintenance
نویسندگان
چکیده
منابع مشابه
Proof-theoretic notions for software maintenance
In this report we give an outline how proof-theoretic notions can be useful for questions related to software maintenance.
متن کاملDeenability of Group Theoretic Notions
We consider logical deenability of the group-theoretic notions of simplicity, nilpotency and solvability on the class of nite groups. On one hand, we show that these notions are deenable by sentences of deterministic transitive closure logic DTC. These results are based on known group-theoretic results. On the other hand, we prove that simplicity, nilpotency and the normal closure of a subset o...
متن کاملProof-theoretic type interpretation: a glimpse to proof-theoretic semantics
A foundation of model-theoretic semantics (MTS) for natural language (NL), ever since Montague’s seminal work, is the typing of meanings, most often expressed in some variant of the simply-typed λ -calculus. Types are interpreted in what is known as Henkin models, whereby basic types τ are interpreted as denoting arbitrary sets Dτ , except for the type t (of sentential meanings), denoting the t...
متن کاملProof-Theoretic versus Model-Theoretic Consequence
M A ⇔df (∀M) [ (∀B ∈ M)(M B) ⇒ M A ]. Thus consequence is transmission of truth from the premisses to the conclusion, where ‘transmission’ is understood in the simple declarative sense of classical implication: if the premisses are true (in a model-theoretic structure), then so is the conclusion. This means in particular that truth is conceptually prior to consequence, as the latter is explaine...
متن کامل(Ordinal-theoretic) Proof Theory
This course provides an introduction to ordinal-based proof theory, and the notion of proof-theoretic strength particularly for type-theories, or systems which can be seen as type-theories through the Curry-Howard correspondence. A surprisingly large number of number of people express some curiosity about the subject, and this is my excuse for offering it. The technical content will be divided ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80048-9